Stan Modeling Language

Stan Modeling Language

Preliminary Definition of Core JML

The JML specification language has evolved over a number of years and several variations/subsets have been formalized, mainly in the context of prototype systems for runtime and static verification. This document records the preliminary definition of basic semantic concepts for a core fragment of JML. It is intended to facilitate investigation of new features and improvement in interoperability...

Fast hierarchical Gaussian processes

While the framework of Gaussian process priors for functions is very flexible and has a number of advantages, its use within a fully Bayesian hierarchical modeling framework has been limited due to computational constraints. Most often, simple models are fit, with hyperparameters learned by maximum likelihood. But this approach understates the posterior uncertainty in inference. We consider pri...

On the Concurrent Object Model of UML

Designing object models with concurrency features was a preoccupation of numerous researchers for the past two decades. UML, the standard object-oriented modeling language adopted by the OMG, does not tackle the issues of concurrency in its object model in a systematic way. In this paper we outline the position of the UML object model within the design space of concurrent object models describe...

Supporting Functionality-based Design in Computer-aided Design Systems

SUPPORTING FUNCTIONALITY-BASED DESIGN IN COMPUTER-AIDED DESIGN SYSTEMS Obinna Stan Muogboh, PhD University of Pittsburgh, 2003 Designs are conceptualized in terms of the functions they need to accomplish. The need for a new product design arises as a result of the identification of a new functionality to be accomplished by the product. That is, design is functionality driven. However, existing ...